Skip to content

Conversation

@greschd
Copy link
Member

@greschd greschd commented Jul 7, 2023

No description provided.

@greschd greschd enabled auto-merge (squash) July 7, 2023 16:12
@greschd greschd requested a review from janvonrickenbach July 7, 2023 16:12
@greschd greschd mentioned this pull request Jul 11, 2023
@greschd
Copy link
Member Author

greschd commented Jul 14, 2023

Closing in favor of #28

@greschd greschd closed this Jul 14, 2023
auto-merge was automatically disabled July 14, 2023 11:32

Pull request was closed

@greschd greschd deleted the feat/mesh_query branch January 12, 2024 10:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants